Process calculi - PDFSEARCH.IO - Document Search Engine

Process calculi
Results: 158

#	Item
151	PDF Document Add to Reading List Source URL: www.usingcsp.com Language: English - Date: 2004-06-21 06:17:39 Concurrency Software engineering Actor model Communicating sequential processes Thread Algorithm Parallel computing Communications protocol Mathematics Computing Concurrent computing Process calculi
152	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2001-07-27 07:39:36 Process calculi Theoretical computer science Inter-process communication Functional languages Actor model Π-calculus Join-calculus Lambda calculus Process calculus Computing Software engineering Computer programming
153	PDF Document Add to Reading List Source URL: web.comlab.ox.ac.uk Language: English Process calculi Logic in computer science Concurrent computing Programming language semantics Communicating sequential processes Models of computation Denotational semantics Divergence Model checking Theoretical computer science Computing Computer science
154	PDF Document Add to Reading List Source URL: espace.library.uq.edu.au Language: English Communicating sequential processes Enterprise modelling Behavior Trees Actor model Model checking Process calculus Concurrent computing Process calculi Computing
155	PDF Document Add to Reading List Source URL: recomb2000.ims.u-tokyo.ac.jp Language: English Theoretical computer science Applied mathematics Programming language semantics Logic Calculus Semantics Process calculi
156	PDF Document Add to Reading List Source URL: www.teigfam.net Language: English - Date: 2006-06-20 10:02:26 Process calculi Synchronization Communicating sequential processes Occam Message queue Process calculus Specification and Description Language Asynchronous I/O Promela Computing Concurrent computing Inter-process communication
157	PDF Document Add to Reading List Source URL: formal.cs.uiuc.edu Language: English - Date: 2003-11-10 12:46:30 Concurrency Actor model Theoretical computer science Concurrent computing Inter-process communication Π-calculus Process calculus Lambda calculus Futures and promises Mathematics Computing Process calculi
158	Untitled Add to Reading List Source URL: alexandria.tue.nl Language: English - Date: 2010-09-07 09:09:49 Concurrency Computer science Communicating sequential processes FDR2 Process calculus Divergence Concurrent computing Computing Process calculi